Some Remarks about Metric Spaces, Spherical Mappings, Functions and Their Derivatives

If p ∈ Rn, then we have the radial projection map from Rn\{p} onto a sphere. Sometimes one can construct similar mappings on metric spaces even when the space is nontrivially different from Euclidean space, so that the existence of such a mapping becomes a sign of approximately Euclidean geometry. The existence of such spherical mappings can be used to derive estimates for the values of a function in terms of its gradient, which can then be used to derive Sobolev inequalities, etc. In this paper we shall discuss these topics mostly in the context of metric doubling measures, which provides a nontrivial setting in which these mappings exist and can be used. This provides an alternative approach (or understanding) of the results in [DS], and a variation on the themes of [Se4].